31![Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland](https://www.pdfsearch.io/img/c93ca04514f56ede565b8759cc42b527.jpg) | Add to Reading ListSource URL: www.acsu.buffalo.eduLanguage: English - Date: 2004-08-12 11:36:24
|
---|
32![Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi](https://www.pdfsearch.io/img/7505ef64045c8e68892922f5905b220c.jpg) | Add to Reading ListSource URL: stephenbach.netLanguage: English - Date: 2014-11-19 16:25:18
|
---|
33![PHILIPPINE RECLAMATION AUTHORITY Total No. of Members Total No. of Appointive Members 7 7 PHILIPPINE RECLAMATION AUTHORITY Total No. of Members Total No. of Appointive Members 7 7](https://www.pdfsearch.io/img/77a09e8393d0b44c2b2d21352fac267b.jpg) | Add to Reading ListSource URL: pea.gov.phLanguage: English - Date: 2015-08-10 04:13:33
|
---|
34![Microsoft PowerPoint - cs558s16_Week6.pptx Microsoft PowerPoint - cs558s16_Week6.pptx](https://www.pdfsearch.io/img/cf48fd03a276796b8f483e4161992929.jpg) | Add to Reading ListSource URL: www.cs.stevens.eduLanguage: English - Date: 2016-02-24 02:30:43
|
---|
35![PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i](https://www.pdfsearch.io/img/ffdd6daabb5433d7a6475c54aa624fb0.jpg) | Add to Reading ListSource URL: www.mathematik.tu-darmstadt.deLanguage: English - Date: 2012-11-12 10:21:17
|
---|
36![Concurrent Discourse Relations Concurrent Discourse Relations](https://www.pdfsearch.io/img/a16978de15aa3e533e97e786e3a10d94.jpg) | Add to Reading ListSource URL: www.dialog-21.ruLanguage: English - Date: 2016-05-17 07:16:23
|
---|
37![Combining Existential Rules and Description Logics 1,2 Antoine Amarilli , Michael Benedikt 1: Télécom ParisTech; Institut Mines-Télécom; CNRS LTCI; Paris, France Combining Existential Rules and Description Logics 1,2 Antoine Amarilli , Michael Benedikt 1: Télécom ParisTech; Institut Mines-Télécom; CNRS LTCI; Paris, France](https://www.pdfsearch.io/img/95310f79383edbc9a0c6d219a7fc920e.jpg) | Add to Reading ListSource URL: a3nm.netLanguage: English - Date: 2015-07-28 20:39:18
|
---|
38![M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland, M ECHANIZED M ATHEMATICS AND I TS A PPLICATIONS, VOL . 4, N O. 1, M ARCH 2005, 3:24 M IZAR: the first 30 years Roman Matuszewski1 and Piotr Rudnicki2? 1 University of Białystok, Białystok, Poland,](https://www.pdfsearch.io/img/4700ae5ff3189cf5dc7e33ba8b20e9a7.jpg) | Add to Reading ListSource URL: www.mizar.orgLanguage: English - Date: 2005-07-20 17:21:01
|
---|
39![Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede Advances in gringo series 3 Martin Gebser, Roland Kaminski, Arne K¨onig, and Torsten Schaub? Institut f¨ur Informatik, Universit¨at Potsdam Abstract. We describe the major new features emerging from a significant rede](https://www.pdfsearch.io/img/23c390c20f3b75138f4a4191cc86dc06.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.deLanguage: English - Date: 2011-04-05 15:02:45
|
---|
40![A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin.](https://www.pdfsearch.io/img/dc5c656c350ffd8ec54d8672495894b6.jpg) | Add to Reading ListSource URL: wiki.event-b.orgLanguage: English - Date: 2014-01-23 06:18:08
|
---|